match x:
    case 2: ...
    case var: ...
match x:
    case 2: ...
    case _: ...
match x:
    case var if True: ...  # don't try to refute a guarded pattern
    case 2: ...
